Canonical Boolean Values

There is now a read syntax for canonical true and false: #F reads as the canonical false object, and #T reads as the canonical true object.

formula vobeyspaces :
!:} (true? '#t) $\Longrightarrow$ true (false? (car '(#f #t))) $\Longrightarrow$ true

(list #f #t) is not defined, and is probably a syntax error, whereas (list '#f '#t) evaluates to (() #T).



Subsections